2

A Logic for Application Level QoS

Year:
2006
Language:
english
File:
PDF, 526 KB
english, 2006
3

A Logic for Graphs with QoS

Year:
2006
Language:
english
File:
PDF, 304 KB
english, 2006
4

Quantitative μ-calculus and CTL defined over constraint semirings

Year:
2005
Language:
english
File:
PDF, 241 KB
english, 2005
5

Trail-Directed Model Checking

Year:
2001
Language:
english
File:
PDF, 299 KB
english, 2001